<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> 
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
    <link rel="stylesheet" type="text/css" href="style.css">
    <meta name="generator" content="Helen">
    <title>Options</title>
  </head>
  <body>
    <div class="mainheader">
      Options
    </div>
    <div class="sectionheader">
      Highlight Layer
    </div>
    <div style=" margin-top: 5px; margin-bottom: 5px;">
      IntelliJ has layers similar to Photoshop such that higher layers take precedence over lower
      layers. &nbsp;Therefore, the same source code text may be affected in visual style because it
      has a syntax error and because the Identifier Highlighter is highlighting it. &nbsp;Some
      might prefer the identifier highlighting to be more important than the syntax error and some
      may not. &nbsp;The Highlight Layer selection allows customization of the precedence of the
      highlighting.
    </div>
    <div style=" margin-top: 5px; margin-bottom: 5px;">
      <center>
        <img src="../images/config-options.png" alt="Options">
      </center>
    </div>
    <div style=" margin-top: 5px; margin-bottom: 5px;">
      The choices of layers that are supported are {SELECTION, ERROR, WARNING, GUARDED_BLOCKS,
      ADDITIONAL_SYNTAX, SYNTAX, and CARET_ROW}.
    </div>
    <div class="sectionheader">
      Marker Bar
    </div>
    <div style=" margin-top: 5px; margin-bottom: 5px;">
      To the right of the editor window is a vertical gutter called the marker bar where various
      features place short little colored bars. &nbsp;The identifiers that have been highlighted
      can also be marked in the marker bar. &nbsp;This can be toggled off or on with this checkbox.
    </div>
  </body>
</html>
